semicomputable predicate

[计] 半可计算谓词

热门查询